 |
Your search returned 8 records. Click on the hyperlinks to view further details of Titles.. |
|
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1993 Volume number : 19 Issue: 06 |
An Analysis Of Test Data Selection Criteria Using The Relay Model Of Fault Detection
(Article)
Subject:
Fault-Based Testing
,
Test Data Selection
,
Sofware Testing
Author:
D. E
Richardson
Dr. C
Palanichamy
page:
533
-
553
From Csp Models To Markov Models
(Article)
Subject:
Csp Models
,
Markov Model
,
Probabilistic
Author:
Erling Vagn
Sorensen
Jens
Nordahl
Niels Herman
Hansen
page:
554
-
570
Use Of Common Time Base For Checkpointing And Rollback Recovery In A Distributed System
(Article)
Subject:
Checkpoint
,
Real-Time Systems
,
Recovery
Author:
Parameswaran
Ramanathan
Kang G.
Shin
page:
571
-
583
A Unified Interprocedural Program Representation For A Maintenance Environment
(Article)
Subject:
Maintenance Environment
,
Program Understanding
,
Maintenance Tools
Author:
Mary Jean`
Harrold
Brian
Malloy
page:
584
-
593
Regeneration With Vortual Copies For Distributed Computing Systems
(Article)
Subject:
Availability
,
Distributed Computing
,
Network Partitioning
Author:
Nabil R.
Adam
Rajiv
Tewari
page:
594
-
602
Software Project Control An Experimental Investigation Of Judgment With Fallible Fallible Information
(Article)
Subject:
Anchorage
,
Software Projects
,
Experimentation
Author:
Tarek K.
Abdel-Hamid
Kishore
Sengupta
Daniel
Ronan
page:
603
-
612
Accessing Files In An Internet The Jade File System
(Article)
Subject:
Distributed File System
,
File Caches
,
Naming Chemistry
Author:
Herman C.
Rao
Larry L.
Peterson
page:
613
-
624
A Rely And Guarantee Method For Timed Csp A Specification And Design Of A Telephone Exchange
(Article)
Subject:
Communicating Processes
,
Synchronization
,
Safety
,
Switching Systems
Author:
Andrew
Kay
Joy N.
Reed
page:
625
-
639
|
|
| | |
